1. Formal modeling and analysis of timed system
Author: / Franck Cassez, Claude Jard (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer simulation--Congresses,Temporal automata--Congresses,Formal methods (Computer science)--Congresses
2. Formal modeling and analysis of timed systems :
Author: Joël Ouaknine, Frits W. Vaandrager (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2009eb
3. Formal modeling and analysis of timed systems :
Author: Kim G. Larsen, Peter Niebert (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.
4. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
5. Formal modeling and analysis of timed systems :
Author: Uli Fahrenberg, Stavros Tripakis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2011
6. Formal modeling and analysis of timed systems
Author: Marcin Jurdziński, Dejan Ničković (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses,Formal methods (Computer science), Congresses,System analysis, Congresses,Temporal automata, Congresses
Classification :
QA76
.
9
.
C65
F67
2012eb
7. Formal modeling and analysis of timed systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer simulation ; Congresses. ; Temporal automata ; Congresses. ; Formal methods (Computer science) ; Congresses. ;
8. Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers
Author: Kim G. Larsen, Peter Niebert )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Machine theory,Congresses ، Robots
Classification :
QA
76
.
L28
Vol
.
2791
9. Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modelling and Analysis of Timed Systmes, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
Author: Yassine Lakhnech, Sergio Yovine )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Robots,Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
Classification :
QA
76
.
L28
Vol
.
3253